Optimal. Leaf size=219 \[ \frac {(9 A b-2 a C) \tanh ^{-1}\left (\frac {\sqrt {a+b x^2}}{\sqrt {a}}\right )}{2 a^{11/2}}-\frac {35 (4 A b-a C)+93 b B x}{35 a^5 \sqrt {a+b x^2}}-\frac {A \sqrt {a+b x^2}}{2 a^5 x^2}-\frac {B \sqrt {a+b x^2}}{a^5 x}-\frac {35 (3 A b-a C)+87 b B x}{105 a^4 \left (a+b x^2\right )^{3/2}}-\frac {7 (2 A b-a C)+13 b B x}{35 a^3 \left (a+b x^2\right )^{5/2}}-\frac {a \left (\frac {A b}{a}-C\right )+b B x}{7 a^2 \left (a+b x^2\right )^{7/2}} \]
________________________________________________________________________________________
Rubi [A] time = 0.48, antiderivative size = 219, normalized size of antiderivative = 1.00, number of steps used = 9, number of rules used = 6, integrand size = 25, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.240, Rules used = {1805, 1807, 807, 266, 63, 208} \begin {gather*} -\frac {35 (4 A b-a C)+93 b B x}{35 a^5 \sqrt {a+b x^2}}-\frac {35 (3 A b-a C)+87 b B x}{105 a^4 \left (a+b x^2\right )^{3/2}}-\frac {7 (2 A b-a C)+13 b B x}{35 a^3 \left (a+b x^2\right )^{5/2}}-\frac {a \left (\frac {A b}{a}-C\right )+b B x}{7 a^2 \left (a+b x^2\right )^{7/2}}+\frac {(9 A b-2 a C) \tanh ^{-1}\left (\frac {\sqrt {a+b x^2}}{\sqrt {a}}\right )}{2 a^{11/2}}-\frac {A \sqrt {a+b x^2}}{2 a^5 x^2}-\frac {B \sqrt {a+b x^2}}{a^5 x} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 63
Rule 208
Rule 266
Rule 807
Rule 1805
Rule 1807
Rubi steps
\begin {align*} \int \frac {A+B x+C x^2}{x^3 \left (a+b x^2\right )^{9/2}} \, dx &=-\frac {a \left (\frac {A b}{a}-C\right )+b B x}{7 a^2 \left (a+b x^2\right )^{7/2}}-\frac {\int \frac {-7 A-7 B x+7 \left (\frac {A b}{a}-C\right ) x^2+\frac {6 b B x^3}{a}}{x^3 \left (a+b x^2\right )^{7/2}} \, dx}{7 a}\\ &=-\frac {a \left (\frac {A b}{a}-C\right )+b B x}{7 a^2 \left (a+b x^2\right )^{7/2}}-\frac {7 (2 A b-a C)+13 b B x}{35 a^3 \left (a+b x^2\right )^{5/2}}+\frac {\int \frac {35 A+35 B x-35 \left (\frac {2 A b}{a}-C\right ) x^2-\frac {52 b B x^3}{a}}{x^3 \left (a+b x^2\right )^{5/2}} \, dx}{35 a^2}\\ &=-\frac {a \left (\frac {A b}{a}-C\right )+b B x}{7 a^2 \left (a+b x^2\right )^{7/2}}-\frac {7 (2 A b-a C)+13 b B x}{35 a^3 \left (a+b x^2\right )^{5/2}}-\frac {35 (3 A b-a C)+87 b B x}{105 a^4 \left (a+b x^2\right )^{3/2}}-\frac {\int \frac {-105 A-105 B x+105 \left (\frac {3 A b}{a}-C\right ) x^2+\frac {174 b B x^3}{a}}{x^3 \left (a+b x^2\right )^{3/2}} \, dx}{105 a^3}\\ &=-\frac {a \left (\frac {A b}{a}-C\right )+b B x}{7 a^2 \left (a+b x^2\right )^{7/2}}-\frac {7 (2 A b-a C)+13 b B x}{35 a^3 \left (a+b x^2\right )^{5/2}}-\frac {35 (3 A b-a C)+87 b B x}{105 a^4 \left (a+b x^2\right )^{3/2}}-\frac {35 (4 A b-a C)+93 b B x}{35 a^5 \sqrt {a+b x^2}}+\frac {\int \frac {105 A+105 B x-105 \left (\frac {4 A b}{a}-C\right ) x^2}{x^3 \sqrt {a+b x^2}} \, dx}{105 a^4}\\ &=-\frac {a \left (\frac {A b}{a}-C\right )+b B x}{7 a^2 \left (a+b x^2\right )^{7/2}}-\frac {7 (2 A b-a C)+13 b B x}{35 a^3 \left (a+b x^2\right )^{5/2}}-\frac {35 (3 A b-a C)+87 b B x}{105 a^4 \left (a+b x^2\right )^{3/2}}-\frac {35 (4 A b-a C)+93 b B x}{35 a^5 \sqrt {a+b x^2}}-\frac {A \sqrt {a+b x^2}}{2 a^5 x^2}-\frac {\int \frac {-210 a B+105 (9 A b-2 a C) x}{x^2 \sqrt {a+b x^2}} \, dx}{210 a^5}\\ &=-\frac {a \left (\frac {A b}{a}-C\right )+b B x}{7 a^2 \left (a+b x^2\right )^{7/2}}-\frac {7 (2 A b-a C)+13 b B x}{35 a^3 \left (a+b x^2\right )^{5/2}}-\frac {35 (3 A b-a C)+87 b B x}{105 a^4 \left (a+b x^2\right )^{3/2}}-\frac {35 (4 A b-a C)+93 b B x}{35 a^5 \sqrt {a+b x^2}}-\frac {A \sqrt {a+b x^2}}{2 a^5 x^2}-\frac {B \sqrt {a+b x^2}}{a^5 x}-\frac {(9 A b-2 a C) \int \frac {1}{x \sqrt {a+b x^2}} \, dx}{2 a^5}\\ &=-\frac {a \left (\frac {A b}{a}-C\right )+b B x}{7 a^2 \left (a+b x^2\right )^{7/2}}-\frac {7 (2 A b-a C)+13 b B x}{35 a^3 \left (a+b x^2\right )^{5/2}}-\frac {35 (3 A b-a C)+87 b B x}{105 a^4 \left (a+b x^2\right )^{3/2}}-\frac {35 (4 A b-a C)+93 b B x}{35 a^5 \sqrt {a+b x^2}}-\frac {A \sqrt {a+b x^2}}{2 a^5 x^2}-\frac {B \sqrt {a+b x^2}}{a^5 x}-\frac {(9 A b-2 a C) \operatorname {Subst}\left (\int \frac {1}{x \sqrt {a+b x}} \, dx,x,x^2\right )}{4 a^5}\\ &=-\frac {a \left (\frac {A b}{a}-C\right )+b B x}{7 a^2 \left (a+b x^2\right )^{7/2}}-\frac {7 (2 A b-a C)+13 b B x}{35 a^3 \left (a+b x^2\right )^{5/2}}-\frac {35 (3 A b-a C)+87 b B x}{105 a^4 \left (a+b x^2\right )^{3/2}}-\frac {35 (4 A b-a C)+93 b B x}{35 a^5 \sqrt {a+b x^2}}-\frac {A \sqrt {a+b x^2}}{2 a^5 x^2}-\frac {B \sqrt {a+b x^2}}{a^5 x}-\frac {(9 A b-2 a C) \operatorname {Subst}\left (\int \frac {1}{-\frac {a}{b}+\frac {x^2}{b}} \, dx,x,\sqrt {a+b x^2}\right )}{2 a^5 b}\\ &=-\frac {a \left (\frac {A b}{a}-C\right )+b B x}{7 a^2 \left (a+b x^2\right )^{7/2}}-\frac {7 (2 A b-a C)+13 b B x}{35 a^3 \left (a+b x^2\right )^{5/2}}-\frac {35 (3 A b-a C)+87 b B x}{105 a^4 \left (a+b x^2\right )^{3/2}}-\frac {35 (4 A b-a C)+93 b B x}{35 a^5 \sqrt {a+b x^2}}-\frac {A \sqrt {a+b x^2}}{2 a^5 x^2}-\frac {B \sqrt {a+b x^2}}{a^5 x}+\frac {(9 A b-2 a C) \tanh ^{-1}\left (\frac {\sqrt {a+b x^2}}{\sqrt {a}}\right )}{2 a^{11/2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.53, size = 178, normalized size = 0.81 \begin {gather*} \frac {\frac {a^5 \left (-105 A-210 B x+352 C x^2\right )}{x^2}-4 a^4 b (396 A+7 x (60 B-29 C x))+14 a^3 b^2 x^2 (10 x (5 C x-24 B)-261 A)+42 a^2 b^3 x^4 (x (5 C x-64 B)-75 A)-3 a b^4 x^6 (315 A+256 B x)+\frac {105 \left (a+b x^2\right )^4 (9 A b-2 a C) \tanh ^{-1}\left (\sqrt {\frac {b x^2}{a}+1}\right )}{\sqrt {\frac {b x^2}{a}+1}}}{210 a^6 \left (a+b x^2\right )^{7/2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 1.57, size = 202, normalized size = 0.92 \begin {gather*} \frac {(2 a C-9 A b) \tanh ^{-1}\left (\frac {\sqrt {b} x-\sqrt {a+b x^2}}{\sqrt {a}}\right )}{a^{11/2}}+\frac {-105 a^4 A-210 a^4 B x+352 a^4 C x^2-1584 a^3 A b x^2-1680 a^3 b B x^3+812 a^3 b C x^4-3654 a^2 A b^2 x^4-3360 a^2 b^2 B x^5+700 a^2 b^2 C x^6-3150 a A b^3 x^6-2688 a b^3 B x^7+210 a b^3 C x^8-945 A b^4 x^8-768 b^4 B x^9}{210 a^5 x^2 \left (a+b x^2\right )^{7/2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 1.17, size = 688, normalized size = 3.14 \begin {gather*} \left [-\frac {105 \, {\left ({\left (2 \, C a b^{4} - 9 \, A b^{5}\right )} x^{10} + 4 \, {\left (2 \, C a^{2} b^{3} - 9 \, A a b^{4}\right )} x^{8} + 6 \, {\left (2 \, C a^{3} b^{2} - 9 \, A a^{2} b^{3}\right )} x^{6} + 4 \, {\left (2 \, C a^{4} b - 9 \, A a^{3} b^{2}\right )} x^{4} + {\left (2 \, C a^{5} - 9 \, A a^{4} b\right )} x^{2}\right )} \sqrt {a} \log \left (-\frac {b x^{2} + 2 \, \sqrt {b x^{2} + a} \sqrt {a} + 2 \, a}{x^{2}}\right ) + 2 \, {\left (768 \, B a b^{4} x^{9} + 2688 \, B a^{2} b^{3} x^{7} + 3360 \, B a^{3} b^{2} x^{5} + 1680 \, B a^{4} b x^{3} - 105 \, {\left (2 \, C a^{2} b^{3} - 9 \, A a b^{4}\right )} x^{8} + 210 \, B a^{5} x - 350 \, {\left (2 \, C a^{3} b^{2} - 9 \, A a^{2} b^{3}\right )} x^{6} + 105 \, A a^{5} - 406 \, {\left (2 \, C a^{4} b - 9 \, A a^{3} b^{2}\right )} x^{4} - 176 \, {\left (2 \, C a^{5} - 9 \, A a^{4} b\right )} x^{2}\right )} \sqrt {b x^{2} + a}}{420 \, {\left (a^{6} b^{4} x^{10} + 4 \, a^{7} b^{3} x^{8} + 6 \, a^{8} b^{2} x^{6} + 4 \, a^{9} b x^{4} + a^{10} x^{2}\right )}}, \frac {105 \, {\left ({\left (2 \, C a b^{4} - 9 \, A b^{5}\right )} x^{10} + 4 \, {\left (2 \, C a^{2} b^{3} - 9 \, A a b^{4}\right )} x^{8} + 6 \, {\left (2 \, C a^{3} b^{2} - 9 \, A a^{2} b^{3}\right )} x^{6} + 4 \, {\left (2 \, C a^{4} b - 9 \, A a^{3} b^{2}\right )} x^{4} + {\left (2 \, C a^{5} - 9 \, A a^{4} b\right )} x^{2}\right )} \sqrt {-a} \arctan \left (\frac {\sqrt {-a}}{\sqrt {b x^{2} + a}}\right ) - {\left (768 \, B a b^{4} x^{9} + 2688 \, B a^{2} b^{3} x^{7} + 3360 \, B a^{3} b^{2} x^{5} + 1680 \, B a^{4} b x^{3} - 105 \, {\left (2 \, C a^{2} b^{3} - 9 \, A a b^{4}\right )} x^{8} + 210 \, B a^{5} x - 350 \, {\left (2 \, C a^{3} b^{2} - 9 \, A a^{2} b^{3}\right )} x^{6} + 105 \, A a^{5} - 406 \, {\left (2 \, C a^{4} b - 9 \, A a^{3} b^{2}\right )} x^{4} - 176 \, {\left (2 \, C a^{5} - 9 \, A a^{4} b\right )} x^{2}\right )} \sqrt {b x^{2} + a}}{210 \, {\left (a^{6} b^{4} x^{10} + 4 \, a^{7} b^{3} x^{8} + 6 \, a^{8} b^{2} x^{6} + 4 \, a^{9} b x^{4} + a^{10} x^{2}\right )}}\right ] \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.48, size = 325, normalized size = 1.48 \begin {gather*} -\frac {{\left ({\left ({\left ({\left (3 \, {\left ({\left (\frac {93 \, B b^{4} x}{a^{5}} - \frac {35 \, {\left (C a^{24} b^{6} - 4 \, A a^{23} b^{7}\right )}}{a^{28} b^{3}}\right )} x + \frac {308 \, B b^{3}}{a^{4}}\right )} x - \frac {35 \, {\left (10 \, C a^{25} b^{5} - 39 \, A a^{24} b^{6}\right )}}{a^{28} b^{3}}\right )} x + \frac {1050 \, B b^{2}}{a^{3}}\right )} x - \frac {14 \, {\left (29 \, C a^{26} b^{4} - 108 \, A a^{25} b^{5}\right )}}{a^{28} b^{3}}\right )} x + \frac {420 \, B b}{a^{2}}\right )} x - \frac {2 \, {\left (88 \, C a^{27} b^{3} - 291 \, A a^{26} b^{4}\right )}}{a^{28} b^{3}}}{105 \, {\left (b x^{2} + a\right )}^{\frac {7}{2}}} + \frac {{\left (2 \, C a - 9 \, A b\right )} \arctan \left (-\frac {\sqrt {b} x - \sqrt {b x^{2} + a}}{\sqrt {-a}}\right )}{\sqrt {-a} a^{5}} + \frac {{\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{3} A b + 2 \, {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{2} B a \sqrt {b} + {\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )} A a b - 2 \, B a^{2} \sqrt {b}}{{\left ({\left (\sqrt {b} x - \sqrt {b x^{2} + a}\right )}^{2} - a\right )}^{2} a^{5}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.02, size = 288, normalized size = 1.32 \begin {gather*} -\frac {8 B b x}{7 \left (b \,x^{2}+a \right )^{\frac {7}{2}} a^{2}}-\frac {9 A b}{14 \left (b \,x^{2}+a \right )^{\frac {7}{2}} a^{2}}-\frac {48 B b x}{35 \left (b \,x^{2}+a \right )^{\frac {5}{2}} a^{3}}+\frac {C}{7 \left (b \,x^{2}+a \right )^{\frac {7}{2}} a}-\frac {9 A b}{10 \left (b \,x^{2}+a \right )^{\frac {5}{2}} a^{3}}-\frac {B}{\left (b \,x^{2}+a \right )^{\frac {7}{2}} a x}-\frac {64 B b x}{35 \left (b \,x^{2}+a \right )^{\frac {3}{2}} a^{4}}+\frac {C}{5 \left (b \,x^{2}+a \right )^{\frac {5}{2}} a^{2}}-\frac {A}{2 \left (b \,x^{2}+a \right )^{\frac {7}{2}} a \,x^{2}}-\frac {3 A b}{2 \left (b \,x^{2}+a \right )^{\frac {3}{2}} a^{4}}-\frac {128 B b x}{35 \sqrt {b \,x^{2}+a}\, a^{5}}+\frac {C}{3 \left (b \,x^{2}+a \right )^{\frac {3}{2}} a^{3}}+\frac {9 A b \ln \left (\frac {2 a +2 \sqrt {b \,x^{2}+a}\, \sqrt {a}}{x}\right )}{2 a^{\frac {11}{2}}}-\frac {C \ln \left (\frac {2 a +2 \sqrt {b \,x^{2}+a}\, \sqrt {a}}{x}\right )}{a^{\frac {9}{2}}}-\frac {9 A b}{2 \sqrt {b \,x^{2}+a}\, a^{5}}+\frac {C}{\sqrt {b \,x^{2}+a}\, a^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 1.49, size = 265, normalized size = 1.21 \begin {gather*} -\frac {128 \, B b x}{35 \, \sqrt {b x^{2} + a} a^{5}} - \frac {64 \, B b x}{35 \, {\left (b x^{2} + a\right )}^{\frac {3}{2}} a^{4}} - \frac {48 \, B b x}{35 \, {\left (b x^{2} + a\right )}^{\frac {5}{2}} a^{3}} - \frac {8 \, B b x}{7 \, {\left (b x^{2} + a\right )}^{\frac {7}{2}} a^{2}} - \frac {C \operatorname {arsinh}\left (\frac {a}{\sqrt {a b} {\left | x \right |}}\right )}{a^{\frac {9}{2}}} + \frac {9 \, A b \operatorname {arsinh}\left (\frac {a}{\sqrt {a b} {\left | x \right |}}\right )}{2 \, a^{\frac {11}{2}}} + \frac {C}{\sqrt {b x^{2} + a} a^{4}} + \frac {C}{3 \, {\left (b x^{2} + a\right )}^{\frac {3}{2}} a^{3}} + \frac {C}{5 \, {\left (b x^{2} + a\right )}^{\frac {5}{2}} a^{2}} + \frac {C}{7 \, {\left (b x^{2} + a\right )}^{\frac {7}{2}} a} - \frac {9 \, A b}{2 \, \sqrt {b x^{2} + a} a^{5}} - \frac {3 \, A b}{2 \, {\left (b x^{2} + a\right )}^{\frac {3}{2}} a^{4}} - \frac {9 \, A b}{10 \, {\left (b x^{2} + a\right )}^{\frac {5}{2}} a^{3}} - \frac {9 \, A b}{14 \, {\left (b x^{2} + a\right )}^{\frac {7}{2}} a^{2}} - \frac {B}{{\left (b x^{2} + a\right )}^{\frac {7}{2}} a x} - \frac {A}{2 \, {\left (b x^{2} + a\right )}^{\frac {7}{2}} a x^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 2.52, size = 279, normalized size = 1.27 \begin {gather*} \frac {\frac {C}{7\,a}+\frac {C\,{\left (b\,x^2+a\right )}^2}{3\,a^3}+\frac {C\,{\left (b\,x^2+a\right )}^3}{a^4}+\frac {C\,\left (b\,x^2+a\right )}{5\,a^2}}{{\left (b\,x^2+a\right )}^{7/2}}-\frac {\frac {A\,b}{7\,a}+\frac {9\,A\,b\,\left (b\,x^2+a\right )}{35\,a^2}+\frac {3\,A\,b\,{\left (b\,x^2+a\right )}^2}{5\,a^3}+\frac {3\,A\,b\,{\left (b\,x^2+a\right )}^3}{a^4}-\frac {9\,A\,b\,{\left (b\,x^2+a\right )}^4}{2\,a^5}}{a\,{\left (b\,x^2+a\right )}^{7/2}-{\left (b\,x^2+a\right )}^{9/2}}-\frac {\frac {B}{a^4}+\frac {128\,B\,b\,x^2}{35\,a^5}}{x\,\sqrt {b\,x^2+a}}-\frac {C\,\mathrm {atanh}\left (\frac {\sqrt {b\,x^2+a}}{\sqrt {a}}\right )}{a^{9/2}}+\frac {9\,A\,b\,\mathrm {atanh}\left (\frac {\sqrt {b\,x^2+a}}{\sqrt {a}}\right )}{2\,a^{11/2}}-\frac {29\,B\,b\,x}{35\,a^4\,{\left (b\,x^2+a\right )}^{3/2}}-\frac {13\,B\,b\,x}{35\,a^3\,{\left (b\,x^2+a\right )}^{5/2}}-\frac {B\,b\,x}{7\,a^2\,{\left (b\,x^2+a\right )}^{7/2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________